Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
691	Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2011-05-19 13:22:04 Formal languages Model theory Logic in computer science Functions and mappings Interpretation Well-formed formula Fluent Term algebra Function Logic Mathematics Mathematical logic
692	Motivation Statement of the problem Dense-tree encodings Prefix rules and essential rules Bounds on the size of templates representing intervals Results Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2008-07-30 17:28:54 Binary tree Interval tree String Interval Exponentiation Gray code Integer Code Mathematics Abstract algebra Formal languages
693	Formalizing Semantics with an Automatic Program Verifier? Martin Clochard1,2,3 , Jean-Christophe Filliˆatre2,3 , Claude March´e3,2 , and Andrei Paskevich2,3 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-28 14:20:41 Theoretical computer science Formal languages Parsing Recursion Model theory Attribute grammar First-order logic Map Continuation-passing style Software engineering Computing Computer programming
694	Advanced Algorithms – COMS31900Lecture 12 Approximate pattern matching (part one) Benjamin Sach Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 09:18:20 String matching algorithms Formal languages Computing Pattern matching FO String Approximate string matching Boyer–Moore string search algorithm Dynamic programming Theoretical computer science Mathematics
695	Rietveld Basic 1. Data types: BOOLEAN true/false INTEGER Add to Reading List Source URL: www.ccp14.ac.uk Language: English - Date: 2000-12-15 06:09:48 Primitive types Computer programming String Formal languages Comparison of programming languages S2 Len Boolean data type Computing Data types Software engineering
696	Learning from Expert’s proof Leo Freitas, Newcastle University UV10 @ MSR Redmond, 16th Nov. 2010 The project Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Formal languages Formal systems Logical truth Theoretical computer science Mathematical logic Mathematical proof ACL2 Formal proof Proof Logic Mathematics Proof theory
697	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logical syntax Formal languages Well-formed formula If and only if Logical connective Function Linear temporal logic First-order logic Logic Mathematics Mathematical logic
698	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Formal languages Boolean algebra Well-formed formula Propositional calculus Logical connective Modal depth FO Logic Mathematical logic Modal logic
699	Basic Text Processing Regular Expressions Dan Jurafsky Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2012-01-21 12:50:18 Pattern matching Mathematics Regular expressions Automata theory Theoretical computer science Groundhog Find Formal languages Computing Combinatorics
700	HAMPI: A Solver for String Constraints Adam Kie˙zun Vijay Ganesh Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Computer programming Compiler construction Programming paradigms Data management SQL SQL injection Context-free grammar Parsing Concolic testing Computing Formal languages Software engineering

UPDATE